Merge pull request #513 from pgeorgi/configurable-timestamp
authordanh-arm <[email protected]>
Thu, 11 Feb 2016 13:25:31 +0000 (13:25 +0000)
committerdanh-arm <[email protected]>
Thu, 11 Feb 2016 13:25:31 +0000 (13:25 +0000)
build system: allow overriding the build's timestamp


Trivial merge